- logical rule
- логическое правилоAnt:
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.
Logical (rule) hyphenation — Перенос по логическим правилам … Краткий толковый словарь по полиграфии
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
Logical harmony — Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by… … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
Logical reasoning — In logic, three kinds of logical reasoning can be distinguished: deduction, induction and abduction. Given a precondition , a conclusion , and a rule that the precondition implies the conclusion , they can be explained in the following… … Wikipedia
Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of … Wikipedia
rule of law — A legal principle, of general application, sanctioned by the recognition of authorities, and usually expressed in the form of a maxim or logical proposition. Called a rule, because in doubtful or unforeseen cases it is a guide or norm for their… … Black's law dictionary
rule-following considerations — The considerations discussed by Wittgenstein in the Philosophical Investigations, §§147–202, concerning our conception of what it is for our use of a piece of language to be governed by an understanding of it, or a meaning or rule of use.… … Philosophy dictionary
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia